Petri Nets and Software Engineering 2013 (PNSE'13) and Modeling and Business Environments 2013 (ModBE'13)
نویسندگان
چکیده
Complex software systems modelled as multi-agent systems (MAS) are characterised by activities that are generated either by agents, or by the environment in its most general acceptation—that is, environmental resources and the spatio-temporal fabric. Modelling and engineering complex multi-agent systems (MAS) – such as pervasive, adaptive, and situated MAS – requires then to properly handle diverse classes of events: agent operations, resource events, spatio-temporal situation. In the following, first we devise out the requirements for a software architecture for an agent-based middleware based on boundary artefacts, then we sketch a concrete architecture based on the TuCSoN middleware for MAS coordination.
منابع مشابه
Activity Diagrams Patterns for Modeling Business Processes
Designing and analyzing business processes is the starting point of the development of enterprise applications, especially when following the SOA (Service Oriented Architecture) paradigm. UML activity diagrams are often used to model business processes. Unfortunately, their rich syntax favors mistakes by designers; furthermore, their informal semantics prevents the use of automated verification...
متن کاملA System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs
The increasing complexity of new-generation systems which take into account interactions between hardware and software components, particularly the fault-tolerant systems, raises major preoccupations in various critical application domains.These preoccupations concern principally the modeling and analysis requirements of these systems.Thus, designers are interested in the verification of critic...
متن کاملIntegrating Web Services in Petri Net-based Agent Applications
The context of this paper is given through a software engineering approach that uses Petri nets as executable code. We apply the particular understanding that Petri nets are not only used to model systems for design purposes but also to implement system components. Following this approach, we develop complex Petri net-based software applications according to the multi-agent paradigm. Agent-inte...
متن کاملIntroducing Refactoring for Reference Nets
Modeling of high-level Petri nets requires continuous modifications to adapt to requirements changes. This ultimately leads to structural problems in models. Experiences from software engineering can be used to alter and improve Petri net models, especially if they are used as executables. In this contribution, we show how to apply refactoring to reference net models. For this purpose, we intro...
متن کاملIntroducing Catch Arcs to Java Reference Nets
Modeling plays an important role during design and development of systems and processes. Petri nets allow for well-defined models that can be executed. For the implementation of these systems, however, still normal programming languages are used. In contrast, modeling languages – also if executable, such as Petri net formalisms – are not deemed fit for implementation. Besides the pragmatic powe...
متن کامل